логика в ХХ веке

логика в ХХ веке
\
Развитие логики и математики в ХХ веке
\
Поиск оснований и открытие антиномий теории множеств
\
    Программа концептуальной ригоризации основных математических понятий, как мы уже знаем, наметилась еще в прошлом веке. Вейерштрасс и его школа подготовили так называемую «арифметизацию» анализа, т.е. редукцию математики как теории «действительных чисел» к арифметическим понятиям математики как теории целых позитивных (натуральных и рациональных) чисел. Еще раньше геометрия была приведена к анализу (посредством операций аналитической геометрии), а арифметика стала «естественной базой» всего здания математики. Редукцию математики к арифметике завершил Пеано в 1899 г. Система Пеано состояла из пяти аксиом, составленных с помощью примитивных терминов: число, ноль, непосредственно выводимый.
    Аксиомы таковы: 1) ноль — это число; 2) из числа непосредственно следует число; 3) ноль непосредственно не следует ни из какого числа; 4) из различных чисел следуют разные непосредственно выводимые числа; 5) любое свойство, которым обладает ноль, принадлежит всем числам, если из его справедливости для одного числа следует справедливость этого свойства для числа, непосредственно следующего за ним (это принцип математической индукции).
    Одновременно с Пеано Фреге и Кантор попытались редуцировать арифметику и понятие натурального числа к логическому понятию класса, тем более что логика классов кажется более адекватной для поиска оснований математики. Как можно дать определение числа в терминах класса, показывает следующий пример. Даны два класса А и В, и каждому элементу класса А соответствует элемент класса В, и наоборот. Это значит, что оба класса имеют равную мощность, или кардинальное число. Используя чисто механические операции, мы устанавливаем бинарные соответствия элементов двух классов, и даже не умея считать, можем узнать, имеют ли классы одно и то же количество элементов.
    На этом основании можно повторить вслед за Б. Расселом, что «математически число есть не что иное, как совокупность равно-мощных классов» («Принципы математики», 1903). Кантор установил иерархию бесконечных множеств, открыв, среди прочего, что множество натуральных чисел имеет ту же мощность, что и множество рациональных чисел. Вопреки интуиции оказалось, что между 0 и 1 есть бесконечно много действительных чисел, и это множество по мощности больше множеств натуральных чисел.
    Значит, математика и логика тождественны, вся чистая математика переводима в логические термины бесконечно малых. Грандиозную реконструкцию математики на основании логики провели Б. Рассел и А. Уайтхед в трехтомной работе «Principia mathematical (1910—1913). Однако арифметическое обоснование Фреге оказалось внутренне противоречивым. Рассел стремился реализовать намерение Фреге сконструировать всю математику на основе логики. Однако в 1901 и 1902 гг. Рассел спровоцировал кризис в логике классов и тем самым нанес удар по основным положениям арифметики, которые Фреге осуществил именно с помощью логики классов. Это произошло вследствие обнаружения антиномии, показавшей, как определенное утверждение, правомерное с точки зрения арифметики у Фреге, является тем не менее противоречивым. Вот в общих чертах антиномия Рассела.
    Положим, что множество, не содержащее себя как элемент, есть нормальное множество (все вместе книги на столе не есть книга). Даже если все обычные множества нормальны, нельзя исключить, что существует множество ненормальное. Например, множество всех множеств — тоже множество, хотя и ненормальное. Образуем множество из всех нормальных множеств (М) и спросим: нормально ли оно? Предположим, что М содержит само себя как элемент. Значит, оно нормально, и как нормальное множество не может быть частью себя самого. Тогда предположим, что М не содержит само себя. Тогда оно по определению нормально, но вместе со всеми нормальными множествами это множество должно включать в себя М как элемент. Значит, М должно иметь в качестве элемента себя само. И в одном и в другом случае — противоречие.
    Рассел придумал юмористический пересказ этого парадокса: «Деревенский брадобрей бреет всех, кто не бреется сам». Известен античный вариант этой антиномии: «Критянин Эпименид говорит, что все критяне — лжецы». Рассел послал письмо Фреге, где изложил суть антиномии. Фреге попытался найти выход из положения, однако безуспешно. Так, утратив веру в ценность проделанной работы, он провел последние годы жизни.
    Рассел, со своей стороны, полагал, что языковая небрежность является истинной причиной возникновения антиномий. Будучи платоником, он верил в существование особого мира математических сущностей. В приложении к «Principia mathematica» он изложил теорию типов с предписаниями лингвистического характера для избежания апорий.
    Рассел предложил разделить наши предикаты на три типа Предикаты типа 0 суть имена индивидов. Предикаты 1 — свойства (классы) индивидов. Предикаты 2 суть классы классов индивидов и т.д. Правило для избежания антиномий: предикат типа X может быть приписан только субъекту типа X. Как бы то ни было, но многие попытки аксиоматизации теорий множеств оставляли эту и другие важные проблемы нерешенными.

Западная философия от истоков до наших дней. - "Петрополис".. . 1994.

Поможем написать курсовую

Полезное


Смотреть что такое "логика в ХХ веке" в других словарях:

  • Логика — (от logoV разум, слово, мышление) по мнению одних ? наука одоказательстве, по мнению других ? наука о законах и формах мышления.Чтобы познать Сущность Л. и ее задачи, следует обратиться к истории. I. Л. есть продукт греческого ума. Признавать… …   Энциклопедия Брокгауза и Ефрона

  • Логика — Гр …   Википедия

  • Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • логика (средневековья) — Ars vetus , Ars nova , Logica modernorum     Лишь несколько десятилетий назад ученые смогли по достоинству оценить средневековую логику. С одной стороны, она представляет собой дидактическую систематизацию античной логики, с другой стороны, в ней …   Западная философия от истоков до наших дней

  • Логика — (от λόγος, разум, слово, мышление) по мнению одних, наука о доказательстве, по мнению других, наука о законах и формах мышления. Чтобы познать сущность Л. и ее задачи, следует обратиться к истории. I. Л. есть продукт греческого ума. Признавать… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • логика классическая — раздел современной (математической, символической) логики, включающий классическую логику высказываний и классическую логику предикатов. Л.к. опирается на двузначности принцип, в соответствии с которым всякое высказывание является или истинным,… …   Словарь терминов логики

  • ФИЛОСОФСКАЯ ЛОГИКА — название, используемое иногда для обозначения разнообразных приложений идей и аппарата современной формальной логики для анализа понятий и проблем философии. Хотя формальная логика еще в 19 в. отделилась («отпочковалась») от философии и перестала …   Философская энциклопедия

  • философская логика —         ФИЛОСОФСКАЯ ЛОГИКА широкая область логических исследований, требующая философского осмысления основных понятий, применяемых в современной логике, и результатов, полученных средствами символической логики.         На самом деле термин «Ф.… …   Энциклопедия эпистемологии и философии науки

  • философская логика — или Логика название, используемое иногда для обозначения разнообразных приложений идей и аппарата современной формальной логики для анализа понятий и проблем философии. Хотя формальная логика еще в прошлом веке отделилась ( отпочковалась ) от… …   Словарь терминов логики

  • История математики — История науки …   Википедия

Книги

Другие книги по запросу «логика в ХХ веке» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»